12 ideas
| 8717 | Hilbert wanted to prove the consistency of all of mathematics (which realists take for granted) [Hilbert, by Friend] |
| 10113 | The grounding of mathematics is 'in the beginning was the sign' [Hilbert] |
| 10115 | Hilbert substituted a syntactic for a semantic account of consistency [Hilbert, by George/Velleman] |
| 10116 | Hilbert aimed to prove the consistency of mathematics finitely, to show infinities won't produce contradictions [Hilbert, by George/Velleman] |
| 17371 | Some kinds are very explanatory, but others less so, and some not at all [Devitt] |
| 17373 | Species pluralism says there are several good accounts of what a species is [Devitt] |
| 17372 | The higher categories are not natural kinds, so the Linnaean hierarchy should be given up [Devitt] |
| 23061 | Free atheism should start by questioning its faith in humanity [Gray] |
| 23057 | Gnosticism has a supreme creator God, giving way to a possibly hostile Demiurge [Gray] |
| 23056 | Judaism only became monotheistic around 550 BCE [Gray] |
| 23055 | Christians introduced the idea that a religion needs a creed [Gray] |
| 23058 | Buddhism has no divinity or souls, and the aim is to lose the illusion of a self [Gray] |